Boolean satisfiability problem

Results: 324



#Item
101Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology

Advanced Procedures for Hard Problems in Abstract Argumentation Johannes Peter Wallner Institute of Information Systems Vienna University of Technology

Add to Reading List

Source URL: www.dcs.kcl.ac.uk

Language: English - Date: 2013-06-09 11:47:58
102Algorithms Lecture 30: NP-Hard Problems [Fa’14] [I]n his short and broken treatise he provides an eternal example—not of laws, or even of method, for there is no method except to be very intelligent, but

Algorithms Lecture 30: NP-Hard Problems [Fa’14] [I]n his short and broken treatise he provides an eternal example—not of laws, or even of method, for there is no method except to be very intelligent, but

Add to Reading List

Source URL: web.engr.illinois.edu

Language: English - Date: 2014-12-28 09:03:23
103Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu

Journal of Artificial Intelligence Research606 Submitted 11/07; publishedSATzilla: Portfolio-based Algorithm Selection for SAT Lin Xu

Add to Reading List

Source URL: jair.org

Language: English - Date: 2008-07-01 13:34:37
104

PDF Document

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2012-05-29 03:59:19
105Topics in Knowledge Representation and Reasoning Optimizing Description Logic Subsumption Maryam Fazel-Zarandi DepartmentCompany

Topics in Knowledge Representation and Reasoning Optimizing Description Logic Subsumption Maryam Fazel-Zarandi DepartmentCompany

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-03-10 16:34:57
106Resolution versus Search: Two Strategies for SAT  Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine

Resolution versus Search: Two Strategies for SAT  Irina Rish and Rina Dechter Information and Computer Science University of California, Irvine

Add to Reading List

Source URL: www.ics.uci.edu

Language: English - Date: 2000-11-01 13:42:40
107Probabilistically Estimating Backbones and Variable Bias: Experimental Overview ? Eric I. Hsu, Christian J. Muise, J. Christopher Beck, and Sheila A. McIlraith Department of Computer Science, University of Toronto {eihsu

Probabilistically Estimating Backbones and Variable Bias: Experimental Overview ? Eric I. Hsu, Christian J. Muise, J. Christopher Beck, and Sheila A. McIlraith Department of Computer Science, University of Toronto {eihsu

Add to Reading List

Source URL: tidel.mie.utoronto.ca

Language: English - Date: 2008-09-02 09:18:22
108Compilation of Planning to SAT Yiqiao Wang 1 Motivation

Compilation of Planning to SAT Yiqiao Wang 1 Motivation

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2006-03-10 10:57:49
109Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester

Using an Expressive Description Logic: FaCT or Fiction? Ian R. Horrocks Medical Informatics Group Department of Computer Science University of Manchester

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2007-07-26 07:49:27
110Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA

Processes and Continuous Change in a SAT-based Planner 1 Ji-Ae Shin Courant Institute, New York University, New York, NY 10012, USA

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2005-02-14 11:22:18